主页 / 标签
标签 [静态分析] ,共 [11] 条,当前第 [2] 页
Combining Symbolic Execution and Model Checking for Data Flow Testing
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
- 标签:
Going Native: Using a Large-Scale Analysis of Android Apps to Create a Practical Native-Code Sandboxing Policy
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
- 标签:
Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework
- 作者: GoSSIP @ LoCCS.Shang
- 收录:
- 标签:
